Leslie Lamport - PDFSEARCH.IO - Document Search Engine

Leslie Lamport
Results: 304

#	Item
41	Standard Letter Document Class for LATEX version 2e Leslie Lamport and Frank Mittelbach and Rainer Sch¨opf May 12, 2015 This file is maintained by the LATEX Project team. Bug reports can be opened (category latex) at Add to Reading List Source URL: mirror.physik-pool.tu-berlin.de Language: English - Date: 2015-05-12 06:23:16 Technical communication Digital typography LaTeX Man page TeX Ps More Stack Computing Software Typesetting
42	Standard Document Classes for LATEX version 2e∗ Copyright (Cby Leslie Lamport Copyright (Cby Frank Mittelbach Johannes BraamsThis file is maintained by the LATEX Project team. Add to Reading List Source URL: mirror.physik-pool.tu-berlin.de Language: English - Date: 2015-05-12 06:23:16 Group theory Index of a subgroup LaTeX
43	Standard Letter Document Class for LATEX version 2e Leslie Lamport and Frank Mittelbach and Rainer Sch¨opf May 12, 2015 This file is maintained by the LATEX Project team. Bug reports can be opened (category latex) at Add to Reading List Source URL: mirror.easyname.at Language: English - Date: 2015-05-12 06:23:16 Technical communication Digital typography LaTeX Man page TeX Ps More Stack Computing Software Typesetting
44	THE RAFT CONSENSUS ALGORITHM DIEGO ONGARO AND JOHN OUSTERHOUT STANFORD UNIVERSITY APRILraftconsensus.github.io Add to Reading List Source URL: raftconsensus.github.io Language: English - Date: 2015-05-02 15:58:08 Paxos Consensus Replication Read–eval–print loop Paxi Reversible addition−fragmentation chain transfer polymerization Leslie Lamport Logarithm State machine replication Fault-tolerant computer systems Computing Concurrent computing
45	THE RAFT CONSENSUS ALGORITHM DIEGO ONGARO AND JOHN OUSTERHOUT STANFORD UNIVERSITY APRILraftconsensus.github.io Add to Reading List Source URL: raftconsensus.github.io Language: English - Date: 2015-05-02 15:58:08 Paxos Consensus Replication Read–eval–print loop Paxi Reversible addition−fragmentation chain transfer polymerization Leslie Lamport Logarithm State machine replication Fault-tolerant computer systems Computing Concurrent computing
46	A Fast Mutual Exclusion Algorithm Leslie Lamport November 14, 1985 revised October 31, 1986 This report appeared in the ACM Transactions on Computer Systems, Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2000-06-26 12:35:19 Concurrent computing Linearizability Non-blocking algorithm Test-and-set Lock Mutual exclusion Parallel computing Deadlock Critical section Concurrency control Computing Concurrency
47	LATEX 2ε The macro package for TEX by Leslie Lamport et al. Edition 1.6 Add to Reading List Source URL: www.math.hkbu.edu.hk Language: English - Date: 2002-07-17 23:47:53 Scripting languages LaTeX Main function TeX Parameter Batch file AS/400 Control Language Make Computing Software Subroutines
48	Cheap Paxos Leslie Lamport and Mike Massa Appeared in The International Conference on Dependable Systems and Networks (DSN 2004 ) Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2004-09-25 17:11:43 Distributed algorithm Paxos Distributed computing Parallel computing Paxi Algorithm Replication State machine replication Fault-tolerant computer systems Computing Consensus
49	Standard Letter Document Class for LATEX version 2e Leslie Lamport and Frank Mittelbach and Rainer Sch¨opf May 12, 2015 This file is maintained by the LATEX Project team. Bug reports can be opened (category latex) at Add to Reading List Source URL: mirrors.hust.edu.cn Language: English - Date: 2015-05-12 06:23:16 Technical communication Digital typography LaTeX Man page TeX Ps More Stack Computing Software Typesetting
50	Standard Letter Document Class for LATEX version 2e Leslie Lamport and Frank Mittelbach and Rainer Sch¨opf May 12, 2015 This file is maintained by the LATEX Project team. Bug reports can be opened (category latex) at Add to Reading List Source URL: mirror.selfnet.de Language: English - Date: 2015-05-12 06:23:16 Technical communication Digital typography LaTeX Man page TeX Ps More Stack Computing Software Typesetting